Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
401	matthew-might-research-statement.dvi Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:39:56 Procedural programming languages Cross-platform software Programming language implementation Concurrent computing Coroutine Subroutines Abstract interpretation Data-flow analysis Control flow analysis Computing Software engineering Computer programming
402	Using SAT-Solvers to Compute Inference-Proof Database Instances (Abstract Version) Cornelia Tadros and Lena Wiese Technische Universitat Dortmund, 44221 Dortmund, Germany {tadros,wiese}@ls6.cs.uni-dortmund.de Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:06 Logic in computer science Boolean algebra Propositional calculus Operations research Combinatorial optimization Maximum satisfiability problem Interpretation Mathematical optimization Solver Mathematics Theoretical computer science Mathematical logic
403	Fractal Completeness Techniques in Topological Modal Logic: Koch Curve, Limit Tree, and the Real Line Tamar Lando∗ and Darko Sarenac† July 16, 2011 Abstract Add to Reading List Source URL: philosophy.columbia.edu Language: English - Date: 2014-08-19 10:28:10 Model theory Order theory Philosophical logic Modal logic Kripke semantics Alexandrov topology Sheaf Interpretation Continuous function Logic Mathematics Mathematical logic
404	Angelic Debugging Satish Chandra Emina Torlak IBM Research Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Cross-platform software Abstract interpretation Symbolic execution Debugging Exception handling Software testing KeY Test Function Computing Computer programming Software engineering
405	A Mechanistic Model of Three Facets of Meaning Deb Roy October 17, 2007 Abstract This chapter presents a physical-computational model of sensory-motor Add to Reading List Source URL: www.media.mit.edu Language: English - Date: 2009-02-02 13:31:06 Ethology Interdisciplinary fields Semantics Semiotics Communication Meaning Sign Interpretation Model Science Philosophy of language Linguistics
406	Notes for KINGFISH on SPIRE Photometry DRAFT: v8[removed]B. T. Drainea ABSTRACT Some notes on interpretation of SPIRE photometry of extended sources, and recommendations Add to Reading List Source URL: www.astro.princeton.edu Language: English - Date: 2013-03-16 08:04:44 Universe Symbol Beta Andromedae Astronomy
407	Legislative Interpretation as a Guiding Tool for Wilderness Management Shannon S. Meyer Abstract—The Wilderness Act of 1964, which established the National Wilderness Preservation System, contains both a clear Add to Reading List Source URL: www.wilderness.net Language: English - Date: 2000-12-01 10:56:22 88th United States Congress Wilderness Act Frank Church—River of No Return Wilderness Wilderness National Wilderness Preservation System United States Forest Service National Landscape Conservation System Protected areas of the United States Idaho Geography of the United States
408	Request For Literature Search Form The Reference Department makes every effort to provide accurate and complete database search results. However, it assumes no liability for the information retrieved, its interpretation, Add to Reading List Source URL: www.libraries.rutgers.edu Language: English - Date: 2014-05-22 10:26:22 MEDLINE Academia Publishing Knowledge Bibliographic databases Abstract Academic publishing
409	INTERPRETATION OF GROUND WATER CHEMICAL QUALITY DATA G.M. Zemansky Compass Environmental, Inc., 3000 W. 19th Court, Lawrence, Kansas[removed]ABSTRACT Ground water is sampled to assess its quality for a variety of purp Add to Reading List Source URL: www.clu-in.org Language: English - Date: 2002-12-03 14:28:32 Earth Water pollution Soil contamination Aquatic ecology Aquifers Water quality Hydrology Trichloroethylene Water well Environment Environmental science Water
410	Diagnosing Abstraction Failure for Separation Logic–based Analyses Josh Berdine1 , Arlen Cox2,? , Samin Ishtiaq1 , and Christoph M. Wintersteiger1 1 2 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-09-29 08:34:18 Data types Abstraction Creativity Problem solving Thought Abstract interpretation Model checking C dynamic memory allocation Pointer Computing Software engineering Computer programming

UPDATE